机译：使用执行跟踪文件计算面向功能的程序的动态切片
机译：碳纳米管对线粒体氧通量动力学的影响：极谱实验研究和使用拉曼光谱星图痕迹不变量的机器学习模型
机译：应用系统动力学模型来预测因果关系，以处理与城市绩效测量程序相关的行为失真
机译：使用动态执行轨迹和程序不变性来增强行为模型推断
机译：变革动力：为促进个人行为改变而创建的程序/模型有效性的记录和分析。
机译：碳纳米管对线粒体氧通量动力学的影响：极谱实验研究和使用拉曼光谱星图迹不变量的机器学习模型
机译：通过执行迹线推断图语法来发现程序的行为模式
